1

Parallelizing functional programs by generalization

Year:
1999
Language:
english
File:
PDF, 328 KB
english, 1999
2

Omega-Termination is Undecidable for Totally Terminating Term Rewriting Systems

Year:
1997
Language:
english
File:
PDF, 601 KB
english, 1997
3

On normalizing, non-terminating one-rule string rewriting systems

Year:
2000
Language:
english
File:
PDF, 92 KB
english, 2000
7

Non-Looping String Rewriting

Year:
1999
Language:
english
File:
PDF, 24 KB
english, 1999
11

Decidability of Termination of Grid String Rewriting Rules

Year:
2002
Language:
english
File:
PDF, 177 KB
english, 2002